-- Expected output: 6
DEF MAIN:nat == mul(3, 2)

